hyperarithmetical quantifier перевод

• мат. гиперарифметический квантор

• quantifier:    1) _лог. _мат. квантор Ex: universal quantifier всеобщий квантор, квантор общности Ex: existential quantifier квантор существования2) квантификатор, кванторное слово (количественное числительное, на
• hyperarithmetical computability:    мат. гиперарифметическая вычислимость
• hyperarithmetical computation:    мат. гиперарифметическое вычисление